Syntax and semantics of the compositional interchange format for hybrid systems
نویسندگان
چکیده
منابع مشابه
Syntax and semantics of the compositional interchange format for hybrid systems
Different modeling formalisms for timed and hybrid systems exist, each of whichaddresses a specific set of problems, and has its own set of features. These for-malisms and tools can be used in each stage of the embedded systems development,to verify and validate various requirements.The Compositional Interchange Format (CIF), is a formalism based on hybridautomata, which...
متن کاملInterchange Format for Hybrid Systems: Abstract Semantics
Semantics Alessandro Pinto1, Luca P. Carloni3, Roberto Passerone2, and Alberto Sangiovanni-Vincentelli1 1 University of California at Berkeley, Berkeley, CA 94720 {apinto, alberto}@eecs.berkeley.edu 2 University of Trento, Trento, Italy [email protected] 3 Columbia University in the City of New York, NY 10027-7003 [email protected] Abstract. In [1] we advocated the need for an interchange fo...
متن کاملFoundations of a Compositional Interchange Format for Hybrid Systems
A compositional interchange format for hybrid systems is defined in terms of an interchange automaton, allowing arbitrary differential algebraic equations, including fully implicit or switched DAEs, discrete, continuous and algebraic variables, that can be internal or external, urgency conditions, and operators for parallel composition, action hiding, variable hiding and urgent actions. Its com...
متن کاملThe Hierarchical Compositional Interchange Format
In computer science, the development of hierarchical automata / statecharts has lead to stepwise development of complex discrete systems. Such a concept is absent in the Compositional Interchange Format (CIF), which is a modelling language based on hybrid automata. In this article we extend the CIF language with the concept of hierarchy, which results in the Hierarchical Compositional Interchan...
متن کاملModeling and Simulation Using the Compositional Interchange Format for Hybrid Systems
One of the major challenges towards a broad industrial acceptance of hybrid systems techniques and tools is the large number of distinct modeling formalisms and the resulting manual effort for the toolbased solution of many complex design or analysis tasks. A promising approach to achieve inter-operability between hybrid systems tools is to develop automatic translations of their formalisms via...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2013
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2012.07.001